Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus
نویسندگان
چکیده
The BP-calculus is a formalism based on the pi-calculus and encoded in WS-BPEL. The BP-calculus is intended to specifically model and verify Service Oriented applications. One important feature of SOA is the ability to compose services that may dynamically evolve along runtime. Dynamic reconfiguration of services increases their availability, but puts accordingly heavy demands for validation, verification, and evaluation. In this paper we formally model and analyse dynamic reconfigurations and their requirements in BP-calculus and show how reconfigurable components can be modelled using handlers that are essential parts of WS-BPEL language. © 2012 Newcastle University. Printed and published by Newcastle University, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details ABOUZAID, F., MULLINS, J., MAZZARA, M., DRAGONI, N. Modelling and Analysis of Dynamic Reconfiguration in BP-calculus [By] F. Abouzaid, J. Mullins, M. Mazzara, N. Dragoni Newcastle upon Tyne: Newcastle University: Computing Science, 2012. (Newcastle University, Computing Science, Technical Report Series, No. CS-TR-1322)
منابع مشابه
Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective
This paper describes a case study involving the dynamic reconfiguration of an office workflow. We state the requirements on a system implementing the workflow and its reconfiguration, and describe the system’s design in BPMN. We then use an asynchronous π-calculus and Webπ∞ to model the design and to verify whether or not it will meet the requirements. In the process, we evaluate the formalisms...
متن کاملCOMPUTING SCIENCE A Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems
This paper uses a case study to evaluate three formalisms of different kinds for their suitability for the modelling and analysis of dynamic reconfiguration of dependable systems. The reconfiguration of an office workflow for order processing is described. The requirements on the workflow's reconfiguration and general reconfiguration requirements are defined. The workflow is modelled using the ...
متن کاملDesign, Modelling and Analysis of a Workflow Reconfiguration
This paper describes a case study involving the reconfiguration of an office workflow. We state the requirements on a system implementing the workflow and its reconfiguration, and describe the system’s design in BPMN. We then use an asynchronous π-calculus and Webπ∞ to model the design and to verify whether or not it will meet the requirements. In the process, we evaluate the formalisms for the...
متن کاملA Case Study of Workflow Reconfiguration : Design , Modelling ,
This paper describes a case study involving interference between application activities and reconfiguration activities in an office workflow. We state the requirements on a system implementing the workflow and its reconfiguration, and describe the system's design in BPMN. We then use a number of computational formalisms of different kinds, including VDM and an asynchronous pi-calculus, to model...
متن کاملNON-POLYNOMIAL SPLINE FOR THE NUMERICAL SOLUTION OF PROBLEMS IN CALCULUS OF VARIATIONS
A Class of new methods based on a septic non-polynomial spline function for the numerical solution of problems in calculus of variations is presented. The local truncation errors and the methods of order 2th, 4th, 6th, 8th, 10th, and 12th, are obtained. The inverse of some band matrixes are obtained which are required in proving the convergence analysis of the presented method. Convergence anal...
متن کامل